Câu ví dụ
- Định lý Heine-Borel.
- Định lý Heine-Borel
- Trong topo học của không gian metric, định lý Heine-Borel, được đặt theo tên của Eduard Heine và Émile Borel, phát biểu rằng:
- Một không gian X là compact nếu và chỉ nếu mọi lưới (xα) trong X có một lưới con với một giới hạn trong X. Điều này có thể được xem như một tổng quát hóa của định lý Bolzano-Weierstrass và định lý Heine-Borel.